presburger arithmetic - Turco Inglés Diccionario